#ConTest properties written for run ID 1216760842124
#Tue Jul 22 16:07:22 CDT 2008
enable_keyboard_callback=false
includeTasks=
basicBlockCoverage=true
last_values_size=2
callback_port_number=0
orange_box=true
beginAtValue=someString
enable_port_callback=false
haltOneThread=false
nonVarNoise=false
noiseFrequency=190
excludeCoveredTasks=false
writeAllTasks=false
excludeTasks=
datagramFaultInjectionFrequency=100
noiseType=yields
sourceDirs=.
timeoutTampering=false
lockDiscipline=true
shared=one
random=false
seed=-4647301334686056011
datagramFaultInjectionDirection=both
output=.
synchronizationCoverage=true
methodCoverage=true
forgetting_orange_box=true
datagramFaultInjectionMode=random-conservative
threadLocation=true
sharedVarCoverage=true
sharedVarNoise=false
replay=false
datagramLengthBound=10000
strength=10
concurrentEventPairsCoverage=false
beginAtType=off
buffer_size=1024
lockStatus=true
collectShared=true
keepBackup=true
targetClasses=com/om
lockHistory=false
